- correspondence type
- SAP. вид корреспонденции
Универсальный англо-русский словарь. Академик.ру. 2011.
correspondence type
Смотреть что такое "correspondence type" в других словарях:
Correspondence theory of truth — Truth, holding a mirror and a serpent (1896). Olin Levi Warner, Library of Congress Thomas Jefferson Building, Washington, D.C. The correspondence theory of truth states that the truth or falsity of a statement is determined only by how it… … Wikipedia
Correspondence law school — Main article: Law school A correspondence law school is a school that offers legal education by distance education, either by correspondence or online by use of the internet, or a combination thereof. Contents 1 Germany 2 South Africa 3 United… … Wikipedia
Correspondence principle (sociology) — The correspondence principle or correspondence thesis is a sociological theory that posits a close relationship between social standing and the educational system. Writers in this vein (notably Samuel Bowles and Herbert Gintis) are in particular… … Wikipedia
correspondence — In optics, those points on each retina that have the same visual direction. abnormal c. SYN: anomalous retinal c.. anomalous retinal c. abnormal c., a condition, frequent in strabismus, in which corresponding retinal points do not have the same … Medical dictionary
Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
McMahon-Hussein Correspondence — The McMahon Hussein Correspondence [Also sometimes known in the literature as the Hussein McMahon Correspondence .] was a protracted exchange of letters (July 14, 1915 to January 30, 1916) [http://www.law.fsu.edu/library/collection/LimitsinSeas/IB… … Wikipedia
AdS/CFT correspondence — For the relation of the AdS/CFT correspondence to the general context of string theory, see String theory. The conformal field theory, which may be a gauge theory lies on the conformal boundary of anti deSitter space with quantum gravity. In… … Wikipedia
On the Tendency of Varieties to Depart Indefinitely from the Original Type — Die erste Seite des Ternate Manuskriptes aus der Veröffentlichung im Journal of the Proceedings of the Linnean Society: Zoology vom 20. August 1858 Als Ternate Manuskript (englisch: „Ternate essay“) wird ein mit „Ternate, Februar, 1858“… … Deutsch Wikipedia
Springer correspondence — In mathematics, the Springer representations are certain representations of the Weyl group W associated to unipotent conjugacy classes of a semisimple algebraic group G . There is another parameter involved, a representation of a certain finite… … Wikipedia
